Computing updates in description logics
نویسنده
چکیده
Acknowledgements I am deeply indebted to Franz Baader and Carsten Lutz, my thesis advisors, for their valuable guidance of my researching work and constant support of all technical problems. Without either of them, this thesis would not exist. I am grateful to Maja Miliči´c and Frank Wolter who have also helped me a lot in the last four years. I would like to thank Conrad Drescher, Boontawee Suntisrivaraporn, and Rafael Peñaloza for proofreading the preliminary version of my thesis. I would also like to thank all members of the chair for automata theory. It is a pleasure to work with you. Many thanks go to our secretary, Kerstin Achtruth, for her support in countless matters. I am also thankful to Anni-Yasmin Turhan for her encouragement. I would like to express my gratitude to my mother for her endless love and unconditional support. No one is prouder of this thesis than she is. This thesis is dedicated to her.
منابع مشابه
Description Logics in Data Management
Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Arti cial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations | each involving one or more languages. Speci cally, we indicat...
متن کاملOn the Approximation of Instance Level Update and Erasure in Description Logics
A Description Logics knowledge base is constituted by two components, called TBox and ABox, where the former expresses general knowledge about the concepts and their relationships, and the latter describes the properties of instances of concepts. We address the problem of how to deal with changes to a Description Logic knowledge base, when these changes affect only its ABox. We consider two typ...
متن کاملDescription Logics are not just for the Flightless-Birds: A New Look at the Utility and Foundations of Description Logics
This paper presents some of the underlying principles of description logics (also known as terminological logics or kl-one-style languages), grounding them in the lattice of terms organized by the so-called \subsumption" relationship. A survey of the increasingly varied uses of description logics, including industrial applications, is presented by considering their role in a number of di erent ...
متن کاملRule Based Computation of Updates to Terminologies
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs representing connections between terms in a rule body. We motivate and illustrate application of this work in hybrid Description Logic/Rule based frameworks for medical plan specification.
متن کاملUpdating TBoxes in DL-Lite
We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. In this paper, we address for the first time the problem of updating TBoxes. We propose some principles that TBox updates should respect. We review known mode...
متن کاملReasoning About Actions with Description Logics
In this paper we will show that a recently proposed method for ABox updates in Description Logics can be given a Fluent Calculus semantics. This allows the usage of Description Logic ABoxes as decidable state descriptions. We discuss some natural extensions of the method and the arising issues. Finally, we present an action programming language implementing this Fluent Calculus fragment using a...
متن کامل